Devcontainer内でgit pushをする

方法

code:devcontainer.json

// GitHub

"remoteEnv": {

"GIT_SSH_COMMAND": "ssh -i /root/.ssh/id_rsa"

}

ローカル環境の.sshをマウントすることで，コンテナ内でも同じ鍵を使える．

パスは適宜変えること．